-
1 single-sorted logic
-
2 single-sorted logic
Большой англо-русский и русско-английский словарь > single-sorted logic
-
3 single-sorted logic
Вычислительная техника: односортная логика (в СИИ) -
4 single-sorted logic
English-Russian dictionary of computer science and programming > single-sorted logic
-
5 single-sorted logic
English-Russian information technology > single-sorted logic
-
6 logic
1) логика2) логическая часть, логический узел ( ЭВМ)3) логическая схема; логические схемы, логика•- adaptive logic
- address-comparison logic
- address-recognition logic
- address-selection logic
- all-magnetic logic
- all-transistor logic
- arbitration logic
- arithmetic logic
- binary logic
- bipolar logic
- Boolean logic
- carry determination logic
- cellular logic
- circuit logic
- clocked logic
- closed-cell logic
- combinational logic
- combinatorial logic
- combinatory logic
- command decode logic
- comparison logic
- compatible logic
- complementary transistor logic
- complementary transistor-resistor logic
- computer logic
- constructive logic
- control logic
- core logic
- crisp logic
- current injection logic
- current mode logic
- current sinking logic
- current steering logic
- current-hogging logic
- custom logic
- data manipulation logic
- decryption logic
- degating logic
- derivative logic
- designer choice logic
- design-for-test logic
- differential logic
- digit logic
- diode logic
- diode-emitter coupled logic
- diode-transistor logic
- direct-coupled transistor logic
- distributed logic
- double-rail logic
- emitter-emitter-coupled transistor logic
- emitter-coupled transistor logic
- emitter-emitter-coupled logic
- emitter-coupled logic
- emitter-follower logic
- epistemic logic
- error-checking logic
- failure detection logic
- fault-masking logic
- feature logic
- field-programmable logic
- fluid logic
- formal logic
- fuzzy logic
- glue logic
- hardwired logic
- high-noise-immunity logic
- high-threshold logic
- Hoare logic
- incremental logic
- inferencial logic
- injection-coupled logic
- instruction logic
- integrated injection logic
- interface logic
- interrupt logic
- irregular logic
- Josephson junction logic
- kindred logic
- ladder logic
- level logic
- linearly independent logic
- locked-pair logic
- logic under test
- low level logic
- machine logic
- magneto-optical logic
- majority-vote logic
- majority logic
- many-valued logic
- mathematical logic
- merged logic
- merged-transistor logic
- microprogrammed logic
- microwatt logic
- microwave logic
- modal logic
- modified diode-transistor logic
- morphic logic
- multiple-valued logic
- multi-valued logic
- multiaperture device logic
- multihpase pulse logic
- nanosecond logic
- negative logic
- N-level logic
- nonmonotonic logic
- N-out-of-M logic
- N-valued logic
- on-board logic
- on-chip control logic
- optoelectronic logic
- out-of-order issue logic
- paging logic
- parametron logic
- path programmable logic
- per-bit logic
- philosophical logic
- positive logic
- possibilistic logic
- probabilistic logic
- processing logic
- programmable array logic
- programmable logic
- programmed logic
- quadded logic
- random logic
- random sequential logic
- recovery logic
- reference logic
- regular logic
- relay logic
- relevance logic
- resistor-capacitor-transistor logic
- resistor-coupled transistor logic
- resistor-diode-transistor logic
- resistor-transistor logic
- ripple-carry logic
- save-carry logic
- Schottky transistor-transistor logic
- sector-buffering logic
- self-checking logic
- self-timed logic
- sequential logic
- single-phase pulse logic
- single-sorted logic
- solid-state logic
- stored logic
- structured logic
- switching logic
- symbolic logic
- temporal logic
- ternary logic
- test logic
- three-level logic
- three-state logic
- three-value logic
- threshold logic
- timed-access logic
- timing logic
- transaction logic
- transister logic
- transistor-coupled logic
- transistor-diode logic
- transistor-resistor logic
- transistor-transistor logic
- tri-state logic
- tube-and-diode logic
- tunnel-diode logic
- two-valued logic
- unconditional logic
- user-definable logic
- variable logic
- variable threshold logic
- vertical injection logic
- wired logic
- wired-OR, wired-AND logic
- word logicEnglish-Russian dictionary of computer science and programming > logic
-
7 logic
1. логика2. логическая схема3. логический блокlogic synthesis — синтез логических схем; логический синтез
-
8 differential logic
-
9 fuzzy logic
нечеткая логика; размытая логика -
10 negative logic
отрицательная логика; негативная логика -
11 programmable logic
-
12 programmed logic
-
13 emitter-coupled logic
English-Russian big polytechnic dictionary > emitter-coupled logic
-
14 emitter-follower logic
English-Russian big polytechnic dictionary > emitter-follower logic
-
15 emitter-function logic
English-Russian big polytechnic dictionary > emitter-function logic
-
16 adding machine logic
The English-Russian dictionary general scientific > adding machine logic
-
17 emitter-follower logic
The English-Russian dictionary general scientific > emitter-follower logic
-
18 односортная логика
Большой англо-русский и русско-английский словарь > односортная логика
См. также в других словарях:
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
ABAP — Infobox programming language name = ABAP/4 logo = paradigm = Object oriented, structured, imperative year = 1980s designer = SAP AG typing = Static, strong, safe, nominative implementations = SAP R/2,SAP R/3 dialects = influenced by = Objective C … Wikipedia
computer science — computer scientist. the science that deals with the theory and methods of processing information in digital computers, the design of computer hardware and software, and the applications of computers. [1970 75] * * * Study of computers, their… … Universalium
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Control table — This simple control table directs program flow according to the value of the single input variable. Each table entry holds a possible input value to be tested for equality (implied) and a relevant subroutine to perform in the action column. The… … Wikipedia